COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "memo.pub" source
C00003 ENDMK
C⊗;
.require "memo.pub" source

	This proposal suffers from a defect common to much such
work done by mathematicians.  Namely, the formalism in which
computations are to be expressed is too awkward for proving
facts about individual computational processes.  For this reason
the author can only study general properties like computability
and must reason informally.  Nevertheless, results obtained by
this method are potentially useful as well as interesting
pure mathematic.

	I don't know enough to compare this proposal with similar
current mathematical work.